منابع مشابه
The Generalized Wave Model Representation of Singular 2-D Systems
M. and M. Abstract: Existence and uniqueness of solution for singular 2-D systems depends on regularity condition. Simple regularity implies regularity and under this assumption, the generalized wave model (GWM) is introduced to cast singular 2-D system of equations as a family of non-singular 1-D models with variable structure.These index dependent models, along with a set of boundary co...
متن کاملStructural Invariants
We present structural invariants (SI), a new technique for incrementally overapproximating the verification condition of a program in static single assignment form by making a linear pass over the dominator tree of the program. The 1-level SI at a program location is the conjunction of all dominating program statements viewed as constraints. For any k, we define a k-level SI by recursively stre...
متن کاملComputation of structural invariants of generalized state-space systems
In this paper, we develop an algorithm for computing the zeros of a generalized state space model described by the matrix 5-tuple (E; A;B;C;D), where E may be a singular matrix but det(A ? E) 6 = 0. The characterization of these zeros is based on the system matrix of the corresponding 5-tuple. Both the characterization and the computational algorithm are extensions of equivalent results for sta...
متن کاملStructural Invariants, Structural Kinds, Structural Laws
The paper has three parts. In the first part ExtOSR, an extended version of Ontic Structural Realism, will be introduced. ExtOSR considers structural properties as ontological primitives, where structural properties are understood as comprising both relational and structurally derived intrinsic properties or structure invariants. It is argued that ExtOSR is best suited to accommodate gauge symm...
متن کاملPetrov Invariants for 1-D Control Hamiltonian Systems
In this paper we consider the action of symplectic feedback transformations on 1-D control Hamiltonian systems. We study differential invariants of the pseudogroup of feedback symplectic transformations, which we call Petrov invariants, and show that the algebra of invariants possesses a natural Poisson structure and central derivations. This structure allows us to classify regular 1-D control ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2011
ISSN: 1474-6670
DOI: 10.3182/20110828-6-it-1002.02814